Gödel machine